Nuprl Definition : last-change
11,40
postcript
pdf
(last change to
x
before
e
) == outl(change-to(
x
;
e
))
latex
clarification:
last-change{i:l}(
T
;
eq
;
es
;
x
;
e
) == outl(change-to{i:l}(
T
;
eq
;
es
;
x
;
e
))
latex
Definitions
outl(
x
)
,
change-to(
x
;
e
)
FDL editor aliases
last-change
origin